/*@ true */
int  main()
{
  int  i;
  int  j;
  int  k;


  i=1;
  while ((i) < (100))    /*@ true */
  {
    i=(i) + (1);
  }
  return (1);
}
/*@ true */


